@PhDThesis{Azevedo:2014:BeReIn,
author = "Azevedo, Denise Nunes Rotondi",
title = "Benchmarking de resili{\^e}ncia para infraestruturas de
simuladores de sat{\'e}lites baseadas em HLA",
school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
year = "2014",
address = "S{\~a}o Jos{\'e} dos Campos",
month = "2014-11-28",
keywords = "benchmarking de resili{\^e}ncia, simulador de sat{\'e}lite,
infraestrutura de simuladores de sat{\'e}lite, HLA, resilience
benchmarking, satellite simulation, satellite simulation
infrastructure, high level architecture, HLA.",
abstract = "Simuladores de sat{\'e}lite s{\~a}o utilizados como ferramentas
de apoio {\`a}s tarefas de an{\'a}lise de miss{\~o}es espaciais
e de verifica{\c{c}}{\~a}o, valida{\c{c}}{\~a}o e
opera{\c{c}}{\~a}o de sat{\'e}lites. Usados em diferentes fases
de uma miss{\~a}o espacial e em diferentes miss{\~o}es, esses
sistemas t{\^e}m caracter{\'{\i}}sticas evolutivas no que tange
a mudan{\c{c}}as em seus requisitos, inser{\c{c}}{\~a}o de
novos modelos e reconfigura{\c{c}}{\~o}es, exigindo uma
infraestrutura de simula{\c{c}}{\~a}o que suporte essa
evolu{\c{c}}{\~a}o, preservando os atributos de dependabilidade
e resili{\^e}ncia. Esta tese prop{\~o}e uma metodologia para a
defini{\c{c}}{\~a}o, instancia{\c{c}}{\~a}o e
representa{\c{c}}{\~a}o de benchmarks de resili{\^e}ncia e uma
abordagem de benchmarking para avaliar e comparar atributos de
resili{\^e}ncia no dom{\'{\i}}nio de infraestruturas de
simuladores de sat{\'e}lite baseadas em \emph{High Level
Architecture} (HLA), um padr{\~a}o amplamente utilizado no
contexto de desenvolvimento de simuladores. A metodologia proposta
inclui o processo de especifica{\c{c}}{\~a}o de benchmarks de
resili{\^e}ncia, uma linguagem para representa{\c{c}}{\~a}o e
dissemina{\c{c}}{\~a}o desses benchmarks e um \emph{framework}
para o desenvolvimento de ferramentas. A aplicabilidade da
metodologia e dos elementos definidos na especifica{\c{c}}{\~a}o
do benchmark est{\'a} demonstrada por meio da
instancia{\c{c}}{\~a}o de dois benchmarks concretos -
resili{\^e}ncia e robustez. O primeiro benchmark avalia
infraestruturas de simula{\c{c}}{\~a}o HLA relativamente {\`a}
resili{\^e}ncia dos atributos lat{\^e}ncia e rendimento quando
essas infraestruturas s{\~a}o expostas a mudan{\c{c}}as na
escala, em aspectos de uso e na distribui{\c{c}}{\~a}o da
simula{\c{c}}{\~a}o. O segundo benchmark, visto aqui como um
caso particular de benchmarks de resili{\^e}ncia, demonstra a
capacidade e flexibilidade da metodologia e da linguagem de
representa{\c{c}}{\~a}o na instancia{\c{c}}{\~a}o e
execu{\c{c}}{\~a}o de benchmarks que t{\^e}m como objetivo
avaliar a robustez das infraestruturas HLA. A
implementa{\c{c}}{\~a}o dos benchmarks e a execu{\c{c}}{\~a}o
dos experimentos demonstraram a viabilidade da abordagem
comparativa apresentada e os resultados obtidos foram capazes de
expressar quantitativamente, de forma simples e eficaz, a
resili{\^e}ncia e robustez das infraestruturas HLA avaliadas,
fornecendo diretrizes para a escolha de produtos em diferentes
contextos de avalia{\c{c}}{\~a}o e cen{\'a}rios de
mudan{\c{c}}as. ABSTRACT: Satellite simulators are used to
support space mission analysis and satellite verification,
validation and operation. Used in different phases of a space
mission and in different missions, these systems have an
evolutionary characteristic, requiring an infrastructure that
supports evolution and adaptation, while preserving resilience and
dependability attributes. This work presents a methodology to
define, instantiate and represent benchmarks for assessing and
comparing resilience attributes of satellite simulation
infrastructures based on the High Level Architecture (HLA), a
standard widely used in the context of simulators development. In
practice, the methodology includes the benchmark specification
process, a language for benchmark representation and
dissemination, and a framework for developing benchmark tools. The
applicability of the presented methodology and benchmark elements
is demonstrated through the instantiation of a resilience
benchmark and a robustness benchmark. The resilience benchmark is
used to evaluate HLA infrastructures in relation to the resilience
of performance attributes when the infrastructure is exposed to
changes in simulation scale, usage and distribution. The
robustness benchmark demonstrates the flexibility of the
methodology and representation language in instantiation and
conducting benchmarks that aim to assess the infrastructures
robustness, a special case of resilience. The benchmark
implementation and the experiments demonstrated the feasibility of
the proposed benchmarking approach. The experiments results
portrayed, in a simple and effective way, the resilience and
robustness of the evaluated infrastructures providing guidelines
for choosing HLA products in different evaluation contexts and
change scenarios.",
committee = "Santos, Walter Abrah{\~a}o dos (presidente) and Ambrosio, Ana
Maria (orientadora) and Vieira, Marco Paulo Amorin (orientador)
and Francisco, Maria de F{\'a}tima Mattiello and Martins, Eliane
and Villani, Emilia",
copyholder = "SID/SCD",
englishtitle = "Resilience benchmarking for satellite simulator infrastructures
based on the HLA standard",
language = "pt",
pages = "293",
ibi = "8JMKD3MGP5W34M/3HAN4D5",
url = "http://urlib.net/ibi/8JMKD3MGP5W34M/3HAN4D5",
targetfile = "publicacao.pdf",
urlaccessdate = "27 abr. 2024"
}